import pytest


def test_assume():
    pytest.assume(1 == 1)
    pytest.assume(1 == 2)
    pytest.assume(1 == 3)
